Search results for "Philosophy of logic"

showing 2 items of 2 documents

The Syllogistic with Unity

2011

We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.

logic and natural languageFOS: Computer and information sciencesPure mathematicsComputer Science - Logic in Computer Sciencecomputational complexityComputational complexity theoryComputational logicSyllogismMathematics - Logicproof theorysyllogismsDerivation relationLogic in Computer Science (cs.LO)Reductio ad absurdumPhilosophyPhilosophy of logicProof theoryCalculusFOS: MathematicsF.4.0Logic (math.LO)Finite setMathematics03B65
researchProduct

Sobre la naturalización de la lógica*

2003

El presente artículo se ocupa de dar razones en contra de la naturalización de la lógica, en tanto en cuanto esto signifique una revisión de esta ciencia. El trabajo critica cada uno de los intentos históricos importantes que ha habido de revisión de las leyes lógicas -- intuicionismo, lógica cuántica, lógicas alternativas - y también intenta argumentar que el problema de la interpretación de la mecánica cuántica no tiene nada que ver con la naturalización de la lógica. This article is devoted to give reasons against the naturalization of logic, in a sense which entails a revision of this science. The paper criticizes each historical important attempt to revise logical laws - intuitionism, …

philosophy of quantum mechanicstruthlcsh:Philosophy (General)Lògicanaturalismophilosophy of logicLógicalcsh:Speculative philosophyrevoluciones científicasepistemología naturalizadaphilosophical naturalismnaturalized epistemologylcsh:BD10-701scientific revolutionsfilosofía de la lógicaverdadfilosofía de la mecánica cuánticalcsh:B1-5802
researchProduct